Applications of Answer Set Programming in Phylogenetic Systematics
نویسنده
چکیده
We summarize some applications of Answer Set Programming (ASP) in phylogenetics systematics, focusing on the challenges, how they are handled using computational methods of ASP, the usefulness of the ASP-based methods/tools both from the point of view of phylogenetic systematics and from the point of view of ASP.
منابع مشابه
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming
This note summarizes the use of Answer Set Programming to solve various computational problems to infer phylogenetic trees and phylogenetic networks, and discusses its applicability and effectiveness on some real taxa.
متن کاملConstructing Camin-Sokal Phylogenies Via Answer Set Programming
The problem of constructing a most parsimonious phylogenetic tree from species data, the maximum parsimony problem, is central to phylogenetics and has diverse applications elsewhere. Most natural variations of the problem, including the cladistic Camin-Sokal (CCS) version studied here, are NP-complete. The usual approach to solving these problems is branch-and-bound (BNB); packages using BNB o...
متن کاملUsing the logical basis of phylogenetics as the framework for teaching biology
The influence of the evolutionary theory is widespread in modern worldview. Due to its great explanatory power and pervasiveness, the theory of evolution should be used as the organizing theme in biology teaching. For this purpose, the essential concepts of phylogenetic systematics are useful as a didactic instrument. The phylogenetic method was the first objective set of rules to implement in ...
متن کاملA necessary condition for multiple objective fractional programming
In this paper, we establish a proof for a necessary condition for multiple objective fractional programming. In order to derive the set of necessary conditions, we employ an equivalent parametric problem. Also, we present the related semi parametric model.
متن کاملFinding Similar or Diverse Solutions in Answer Set Programming
We study finding similar or diverse solutions of a given computational problem, in answer set programming, and introduce offline methods and online methods to compute them using answer set solvers. We analyze the computational complexity of some problems that are related to finding similar or diverse solutions, and show the applicability and effectiveness of our methods in phylogeny reconstruct...
متن کامل